When is a Pair of Matrices Mortal?

نویسندگان

  • Vincent D. Blondel
  • John N. Tsitsiklis
چکیده

A set of matrices over the integers is said to be length k mortal with k positive integer if the zero matrix can be expressed as a product of length k of matrices in the set The set is said to be mortal if it is length k mortal for some nite k We show that the problem of deciding whether a pair of integer matrices is mortal is undecidable and that the problem of deciding for a given k whether a pair of matrices is length k mortal is NP complete

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The (R,S)-symmetric and (R,S)-skew symmetric solutions of the pair of matrix equations A1XB1 = C1 and A2XB2 = C2

Let $Rin textbf{C}^{mtimes m}$ and $Sin textbf{C}^{ntimes n}$ be nontrivial involution matrices; i.e., $R=R^{-1}neq pm~I$ and $S=S^{-1}neq pm~I$. An $mtimes n$ complex matrix $A$ is said to be an $(R, S)$-symmetric ($(R, S)$-skew symmetric) matrix if $RAS =A$ ($ RAS =-A$). The $(R, S)$-symmetric and $(R, S)$-skew symmetric matrices have a number of special properties and widely used in eng...

متن کامل

‎Finite iterative methods for solving systems of linear matrix equations over reflexive and anti-reflexive matrices

A matrix $Pintextmd{C}^{ntimes n}$ is called a generalized reflection matrix if $P^{H}=P$ and $P^{2}=I$‎. ‎An $ntimes n$‎ ‎complex matrix $A$ is said to be a reflexive (anti-reflexive) matrix with respect to the generalized reflection matrix $P$ if $A=PAP$ ($A=-PAP$)‎. ‎In this paper‎, ‎we introduce two iterative methods for solving the pair of matrix equations $AXB=C$ and $DXE=F$ over reflexiv...

متن کامل

Super Pair Sum Labeling of Graphs

Let $G$ be a graph with $p$ vertices and $q$ edges. The graph $G$ is said to be a super pair sum labeling if there exists a bijection $f$ from $V(G)cup E(G)$ to ${0, pm 1, pm2, dots, pm (frac{p+q-1}{2})}$ when $p+q$ is odd and from $V(G)cup E(G)$ to ${pm 1, pm 2, dots, pm (frac{p+q}{2})}$ when $p+q$ is even such that $f(uv)=f(u)+f(v).$ A graph that admits a super pair sum labeling is called a {...

متن کامل

Banach Pair Frames

In this article, we consider pair frames in Banach spaces and   introduce Banach pair frames. Some various concepts in the frame theory such as frames, Schauder frames, Banach frames and atomic decompositions are considered as   special kinds of (Banach) pair frames.  Some frame-like inequalities  for (Banach)  pair frames are presented. The elements that participant  in the construction of (Ba...

متن کامل

Generalized Baer-Invariant of a Pair of Groups and Marginal Extension

In this paper, we give connection between the order of the generalized Baer-invariant of a pair of finite groups and its factor groups, when ? is considered to be the specific variety. Moreover, we give a necessary and sufficient condition in which the generalized Baer-invariant of a pair of groups can be embedded into the generalized Baer-invariant of pair of its factor groups.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Inf. Process. Lett.

دوره 63  شماره 

صفحات  -

تاریخ انتشار 1997